Boosting over non-deterministic ZDDs

About Deterministic and non-Deterministic Vehicular Communications over DSRC/802.11p

In this work, we introduce a priority-aware deterministic access protocol called Vehicular Deterministic Access (VDA). VDA is based on 802.11p/DSRC and allows vehicles to access the shared medium in collision-free periods. Particularly, VDA supports two types of safety services (emergency and routine safety messages) with different priorities and strict requirements on delay. To avoid long dela...

Non deterministic computation over the real numbers

We have defended in [2, 3] the idea that the physical Church thesis, if it holds, explains the efficiency of mathematics to describe the laws of nature. And also that it suggests that the laws of nature can be expressed, not only in a language of propositions, but also in a language of algorithms. The arguments of Gandy [4], that support the physical Church thesis, even suggest that these algor...

Real-time gesture recognition using deterministic boosting

A gesture recognition system which can reliably recognize single-hand gestures in real time on a 600Mhz notebook computer is described. The system has a vocabulary of 46 gestures including the American sign language letterspelling alphabet and digits. It includes mouse movements such as drag and drop, and is demonstrated controlling a windowed operating system, editing a document and performing...

Non-deterministic transducer models of retransmission protocols over noisy channels

Protocols for Non-Deterministic Communication over Synchronous Channels

In this paper, we propose several deadlock-free protocols for implementing the generalized alternative construct, where a process non-deterministically chooses between sending or receiving among various synchronous channels. We consider general many-to-many channels and examine in detail the special case of fan (many-toone and one-to-many) channels, which are common and can be implemented much ...